航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

基于客流密度的地铁列车空调夏季送风温度控制模型研究

客流密度是影响地铁列车客室内热舒适性环境的重要因素,传统的地铁列车客室温度控制主要是根据UIC-553标准,以室内外温差作为控制核心.本文通过构建全尺寸地铁列车客室-乘客-空调送风耦合的一体化模型,利用实车试验与数值模拟相结合的方法,对地铁列车客室内的热舒适性展开研究.探讨客流密度对地铁列车客室内热舒适环境的影响规律以及不同客流密度下客室平均温度与空调送风温度之间的关系,得到了不同客流密度下能满足人体热舒适性体验的空调送风温度,提出了一种基于客流密度的地铁列车空调夏季送风温度控制模型.     

导流锥结构参数对燃气弹射筒内压力冲击平滑效果影响研究

针对导流锥结构参数对内弹道流场耦合影响问题，基于动态分层动网格技术，构建了含导弹运动和二次燃烧的内弹道数值模型，并验证了模型可靠性。解耦分析了导流锥半径、高度及冲击高度对内弹道流场特性和载荷的影响。结果表明：导流锥的结构直接决定燃气飞溅现象的产生和流场结构的紊乱程度，导流锥的半径、高度和冲击高度的改变会对燃气反射点的位置、二次燃烧的区域以及剧烈程度产生影响;结构优化后的导流锥，较大程度地缓解了冲击现象，获得了较好的平滑效果，筒底压力较实验装置降低了24.5%。     

不同密度弹丸对水冰的超高速撞击成坑实验

为了研究冰冻天体表面撞击坑的形成与演化，开展了水冰的超高速撞击成坑实验。使用二级轻气炮发射1.0 mm直径的球形弹丸，以3 km/s、5 km/s和7 km/s速度对圆柱状冰块进行撞击。弹丸材料包括聚碳酸酯和不锈钢两种，冰块温度为253 K。实验观察到了不同弹丸和不同速度条件下，冰块中撞击坑的形貌特征。对撞击坑直径、深度和剖面形状进行了测量，并与文献中铝弹丸对水冰的撞击坑进行了比较分析。获得了水冰撞击坑特征随撞击参数的变化规律，结果表明：撞击坑直径和深度的主导机制不同，坑深主要由弹丸侵彻作用形成，而坑径主要由冰块的剥落所致；坑深比坑径具有更强的对于弹丸密度的依赖性，高密度弹丸撞击坑直径具有比低密度弹丸更强的对于撞击速度的依赖性；撞击坑体积与撞击能量成正比，高密度弹丸形成的撞击坑直径表现出“能量缩比”行为，而低密度弹丸形成的撞击坑直径表现出“动量缩比”行为。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

面向战略导弹的新一代惯性系统

自主式惯性制导系统是战略导弹"威慑可信、反击可靠"的保障,针对我国已装备的战略导弹惯性系统在高精度、高可靠、实战化等方面存在的不足,系统阐述了位置捷联、位置平台和速率捷联的工作特点和局限性,首次提出了一种可同时满足高精度、全姿态、小型化的新一代惯性系统——速率平台.该惯性系统既具备速率捷联系统小型化、全姿态的特点,又兼顾了位置平台系统隔离角运动的功能.针对战略级惯性系统冗余不足引起的可靠性问题,在速率平台的基础上从智能化的角度提出了具备导航级故障诊断和自主重构的新体制惯性系统,该惯性系统将首次具备了自主导航、自主控制与自主重构的能力.     

利用地月间空间站的载人登月飞行模式分析

为提高空间站利用率，降低载人登月任务成本，有效开发地月空间，研究了基于地月空间不同轨道空间站的载人登月飞行模式。首先对比直接往返登月飞行模式，对基于空间站的载人登月飞行模式进行任务分析，通过空间站将载人登月任务解耦为载人天地往返任务和登月任务两部分；其次通过轨道设计和稳定性分析提出考虑登月任务需求的地月间空间站可运行轨道和停泊点；最后建立一套飞行模式评价模型，从速度增量需求、飞行时间、空间环境、登月任务窗口、测控条件、交会对接技术难度、后续任务支持性和任务可靠性方面对6种不同位置空间站的登月飞行模式进行分析和定量评价。评价结果表明基于L2点Halo轨道空间站的载人登月飞行模式为更优飞行模式。